1. Abductive inference models for diagnostic problem-solving
المؤلف: Peng, Yun
المکتبة: (طهران)
موضوع: ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
رده :
Q
335
.
P414
1990
2. Abductive reasoning :logical investigations into discovery and explanation
المؤلف: Aliseda, Atocha.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Abduction )Logic(,، Reasoning,، Artificial intelligence
رده :
BC199
.
A26
A45
2006
3. Argumentation in artificial intelligence
المؤلف: / edited by Iyad Rahwan, Guillermo R. Simari
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence.,Reasoning.,Logic.
رده :
Q
,
335
.
5
,.
A74
,
2009
4. Argumentation in artificial intelligence
المؤلف: edited by Iyad Rahwan, Guillermo R. Simari
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence,Logic,Reasoning
رده :
Q335
.
5
.
A74
2009eb
5. Argumentation in artificial intelligence
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence. ; Reasoning. ; Logic. ;
6. Clausal form logic : an introduction to the logic of computer reasoning
المؤلف: Richards, Tom.
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
QA
76
.
76
.
E95R53
1989
7. Commonsense Reasoning
المؤلف: \ Erik T. Mueller, IBM Watson Group and IBM Research.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
رده :
E-Book
,
8. Commonsense reasoning /
المؤلف: Erik T. Mueller.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
رده :
Q338
.
85
.
M84
2006eb
9. Elements of argumentation
المؤلف: / Philippe Besnard and Anthony Hunter
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence.,Reasoning.,Logic.,Information technology.
رده :
Q
,
335
,.
B489
,
2008
10. Elements of argumentation /
المؤلف: Philippe Besnard and Anthony Hunter
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence,Information technology,Logic,Reasoning
رده :
Q335
.
B489
2008
11. Elements of argumentation
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence. ; Reasoning. ; Logic. ; Information technology. ;
12. Formal methods in artificial intelligence
المؤلف: Allan Ramsay
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Artificial intelligence - Methodology,Logic, Symbolic and mathematical,Reasoning
رده :
Q
,
335
,.
R35
,
1988
13. Formal methods in artificial intelligence
المؤلف: Ramsay, Allan, 3591-
المکتبة: (طهران)
موضوع: Methodology ، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
Q
335
.
R35
1988
14. Inductive reasoning :
المؤلف: edited by Aidan Feeney, Evan Heit.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Induction (Logic),Reasoning (Psychology),Artificial Intelligence.,Intelligence.,Learning.,Logic.,Induction (Logique),Raisonnement (Psychologie),Induction (Logic),PSYCHOLOGY-- Cognitive Psychology.,Reasoning (Psychology),SCIENCE-- Cognitive Science.
رده :
BF442
.
I53
2007eb
15. Inductive reasoning :
المؤلف: edited by Aidan Feeney, Evan Heit.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Induction (Logic),Reasoning (Psychology),Artificial Intelligence.,Intelligence.,Learning.,Logic.,Induction (Logique),Raisonnement (Psychologie),Induction (Logic),Reasoning (Psychology)
رده :
BF442
.
I53
2007
16. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
المؤلف:
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
17. Methodologies for intelligent systems, 4 : Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina
المؤلف: editor, Zbigniew W. Ras
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Knowledge, Theory of,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
I576
1989
18. Non-monotonic reasoning :
المؤلف: Witold Łukaszewicz
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence,Logic,Reasoning
رده :
Q335
.
L85
1990
19. Non-monotonic reasoning : 2nd international Workshop, Grassau, FRG, June 1988: Proceedings
المؤلف: M. Reinfrank, ]editor[...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
346
